1

Hilbert’s Proof of His Irreducibility Theorem

Year:
2018
Language:
english
File:
PDF, 458 KB
english, 2018
6

Minimum-complexity pairing functions

Year:
1992
Language:
english
File:
PDF, 792 KB
english, 1992
9

People, Problems, and Proofs ||

Year:
2013
Language:
english
File:
PDF, 3.78 MB
english, 2013
11

The topology of provability in complexity theory

Year:
1988
Language:
english
File:
PDF, 3.18 MB
english, 1988
14

Games with Uniqueness Properties

Year:
2004
Language:
english
File:
PDF, 299 KB
english, 2004
21

Diagonalization, uniformity, and fixed-point theorems

Year:
1992
Language:
english
File:
PDF, 2.49 MB
english, 1992
25

Gap-languages and log-time complexity classes

Year:
1997
Language:
english
File:
PDF, 1.11 MB
english, 1997
30

Machine models and linear time complexity

Year:
1993
Language:
english
File:
PDF, 805 KB
english, 1993
31

Parameterized circuit complexity and the W hierarchy

Year:
1998
Language:
english
File:
PDF, 1.28 MB
english, 1998
32

Index sets and presentations of complexity classes

Year:
1996
Language:
english
File:
PDF, 1.75 MB
english, 1996
33

Book reviews

Year:
1980
Language:
english
File:
PDF, 880 KB
english, 1980
35

The Visual Perception of Motion in Depth

Year:
1979
Language:
english
File:
PDF, 1.14 MB
english, 1979
40

Linear Time and Memory-Efficient Computation

Year:
1996
Language:
english
File:
PDF, 5.33 MB
english, 1996
43

On quasilinear-time complexity theory

Year:
1995
Language:
english
File:
PDF, 2.01 MB
english, 1995